r:CRng. IsIntegDom(r)   

latex

Up	rings 1
Definitions of Statement	Rng, CRng, IsIntegDom(r)
Definitions	x f y, P  Q, P & Q, IsIntegDom(r), , t  T, x:A. B(x), Rng, CRng
Lemmas	crng wf, rng times wf, not wf, rng one wf, rng zero wf, rng car wf, nequal wf